non-monotonic reasoning

非单调推理